Monotone 3-Sat-4 is NP-complete
نویسندگان
چکیده
Monotone 3-Sat-4 is a variant of the satisfiability problem for boolean formulae in conjunctive normal form. In this variant, each clause contains exactly three literals—either all or none of them are positive, i. e., no clause contains both a positive and a negative literal—and every variable appears at most four times in the formula. Moreover, every clause consists of three distinct literals. We show that Monotone 3-Sat-4 is NP-complete.
منابع مشابه
Using Clausal Graphs to Determine the Computational Complexity of k-Bounded Positive 1-in-3 SAT
The 1-in-3 SAT problem is known to be NP-complete even in the absence of negated variables [1], a variant known as Positive (or Monotone) 1-in-3 SAT. In this note, we use clausal graphs to investigate a further restriction: kBounded-Positive 1-in-3 SAT (kBP 1-in-3 SAT), in which each variable occurs in no more than k clauses. We show that for k = 2, kBP 1-in-3 SAT is in the polynomial complexit...
متن کاملComputational complexity of SAT, XSAT and NAE-SAT for linear and mixed Horn CNF formulas
Zusammenfassung Abstract The Boolean conjunctive normal form (CNF) satisfiability problem, called SAT for short, gets as input a CNF formula and has to decide whether this formula admits a satisfying truth assignment. As is well known, the remarkable result by S. Cook in 1971 established SAT as the first and genuine complete problem for the complexity class NP [15]. Thus SAT resides at the hear...
متن کاملk-Bounded Positive Not All Equal LE3-SAT
The not all equal (NAE) 3-SAT problem is known to be NP-complete even in the absence of negated variables (see [11]), a variant known as positive (or monotone) NAE 3-SAT. In this article, we investigate a related category, dubbed positive NAE LE3SAT (PNAE LE3-SAT), in which each clause has at most three variables, none of which is negated, and an assignment is sought that will satisfy such an e...
متن کاملXSAT and NAE-SAT of linear CNF classes
XSAT and NAE-SAT are important variants of the propositional satisfiability problem (SAT). Both are studied here regarding their computational complexity of linear CNF formulas. We prove that both variants remain NP-complete for (monotone) linear formulas yielding the conclusion that also bicolorability of linear hypergraphs is NP-complete. The reduction used gives rise to the complexity invest...
متن کاملPlanar 3-SAT with a Clause/Variable Cycle
In a Planar 3-SAT problem, we are given a 3-SAT formula together with its incidence graph, which is planar, and are asked whether this formula is satisfiable. Since Lichtenstein’s proof that this problem is NP-complete, it has been used as a starting point for a large number of reductions. In the course of this research, different restrictions on the incidence graph of the formula have been dev...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- CoRR
دوره abs/1603.07881 شماره
صفحات -
تاریخ انتشار 2016